41. Foundations of algorithms using C]] pseudocode
المؤلف: Richard E. Neapolitan, Kumarss Naimipour,Title
المکتبة: (مازندران)
موضوع: Algorithms,Constructive mathematics,Computational complexity
رده :
QA
.
N43
9
.
58
1997
42. Foundations of algorithms using C]] pseudocode
المؤلف: Richard E. Neapolitan, Kumarss Naimipour,Title
المکتبة: (مازندران)
موضوع: Algorithms,Constructive mathematics,Computational complexity
رده :
QA
.
N43
9
.
58
2004
43. Foundations of algorithms :Using C]] Pseudocode
المؤلف: Richard E. Neapolitan, Kumarss Naimipour
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Algorithms,Constructive mathematics,Computational complexity
رده :
QA
،
9
.
58
،.
N43
،
1998
44. Foundations of algorithms: using C++ pseudocode
المؤلف: Neapolitan, Richard E.
المکتبة: (طهران)
موضوع: Algorithms , Constructive mathematics , Computational complexity
رده :
QA
9
.
58
.
N43
1998
45. Foundations of algorithms: using C++ pseudocode
المؤلف: Neapolitan, Richard E.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Algorithms,، Constructive mathematics,، Computational complexity
رده :
QA
9
.
58
.
N43
1998
46. Foundations of constructive mathematics : metamathematical studies
المؤلف: Beeson, Michael J.
المکتبة: (طهران)
موضوع: ، Constructive mathematics
رده :
QA
9
.
56
.
B44
1985
47. Foundations of constructive mathematics : metamathematical studies
المؤلف: Beeson, Michael J
المکتبة: (طهران)
موضوع: ، Constructive mathematics
رده :
QA
9
.
56
.
B44
1985
48. From peturbative to constructive renormalization
المؤلف: / Vincent Rivasseau
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Renormalization (Physics),Quantum field theory,Perturbation (Mathematics),Constructive mathematics
رده :
QC174
.
17
.
R46
,
R58
1991
49. From peturbative to constructive renormalization
المؤلف: Rivasseau, Vincent
المکتبة: (طهران)
موضوع: ، Renormalization )Physics(,، Quantum field theory,، Perturbation )Mathematics(,، Constructive mathematics
رده :
QC
174
.
17
.
R46
R58
1991
50. From peturbative to constructive renormalization
المؤلف: / Vincent Rivasseau
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Renormalization (Physics),Quantum field theory,Perturbation (Mathematics),Constructive mathematics
رده :
QC174
.
17
.
R46
,
R58
1991
51. From sets and types to topology and analysis
المؤلف: edited by Laura Crossila and Peter Schuster
المکتبة: (کرمان)
موضوع: Constructive mathematics- Congresses,Constructieve wiskunde.- gtt,Analyse )wiskunde(- gtt,Topologie.- gtt
رده :
QA
9
.
56
.
F76
2005
52. Fundations of constructive mathematics
المؤلف: Beeson, Michael J., 5491 -
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Constructive mathematics
رده :
QA
9
.
56
.
B44
53. Intensional mathematics
المؤلف: edited by Stewart Shapiro
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
54. Intensional mathematics
المؤلف: / edited by Stewart Shapiro. -
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Modality (Logic),Constructive mathematics.,Intuitionistic mathematics.
رده :
QA
,
9
.
46
,.
I57
,
1985
55. Intensional mathematics
المؤلف: SHAPIRO,STEWART
المکتبة: (طهران)
موضوع: MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
56. Intensional mathematics /
المؤلف: edited by Stewart Shapiro
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constructive mathematics,Intuitionistic mathematics,Modality (Logic)
رده :
QA9
.
46
.
I57
1985
57. Intentional mathematics
المؤلف: edited by Stewart Shapiro
المکتبة: (طهران)
موضوع: ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
58. Lectures on constructive mathematical analysis
المؤلف: Kushner, Boris Abramovich
المکتبة: (طهران)
موضوع: ، Mathematical analysis,، Constructive mathematics
رده :
QA
300
.
K8713
59. Lectures on constructive mathematical analysis
المؤلف: Kushner, B. A.)Boris Abramovich(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematical analysis,، Constructive mathematics
رده :
QA
300
.
K8713
1985
60. Phenomenology, logic, and the philosophy of mathematics
المؤلف: Tieszen, Richard L.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: Philosophy ، Mathematics,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T534
2005
